FLAMMINI, FRANCESCO: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[ACM Press the 19th ACM SIGKDD international conference - Chicago, Illinois, USA (2013.08.11-2013.08.14)] Proceedings of the 19th ACM SIGKDD international conference on Knowledge discovery and data mining - KDD '13 - The role of information diffusion in the evolution of social networks

Weng, Lilian, Ratkiewicz, Jacob, Perra, Nicola, Gonçalves, Bruno, Castillo, Carlos, Bonchi, Francesco, Schifanella, Rossano, Menczer, Filippo, Flammini, Alessandro

Year:

2013

Language:

english

File:

PDF, 1.96 MB

english, 2013

2

ERTMS/ETCS Virtual Coupling: Proof of Concept and Numerical Analysis

Di Meo, Carlo, Di Vaio, Marco, Flammini, Francesco, Nardone, Roberto, Santini, Stefania, Vittorini, Valeria

Journal:

IEEE Transactions on Intelligent Transportation Systems

Year:

2019

Language:

english

File:

PDF, 48 KB

english, 2019

3

The Contribution of Agriculture, Forestry and other Land Use activities to Global Warming, 1990-2012

Tubiello, Francesco N., Salvatore, Mirella, Ferrara, Alessandro F., House, Jo, Federici, Sandro, Rossi, Simone, Biancalani, Riccardo, Condor Golec, Rocio D., Jacobs, Heather, Flammini, Alessandro, Pro

Journal:

Global Change Biology

Year:

2015

Language:

english

File:

PDF, 264 KB

english, 2015

4

[IEEE 2016 International Conference on Electrical Systems for Aircraft, Railway, Ship Propulsion and Road Vehicles & International Transportation Electrification Conference (ESARS-ITEC) - Toulouse, France (2016.11.2-2016.11.4)] 2016 International Conference on Electrical Systems for Aircraft, Railway, Ship Propulsion and Road Vehicles & International Transportation Electrification Conference (ESARS-ITEC) - Railway infrastructure monitoring by drones

Flammini, Francesco, Pragliola, Concetta, Smarra, Giovanni

Year:

2016

Language:

english

File:

PDF, 292 KB

english, 2016

5

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 6894 || Integration of a System for Critical Infrastructure Protection with the OSSIM SIEM Platform: A dam case study

Flammini, Francesco, Bologna, Sandro, Vittorini, Valeria

Year:

2011

Language:

english

File:

PDF, 496 KB

english, 2011

6

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 6894 || Computer-Aided PHA, FTA and FMEA for Automotive Embedded Systems

Flammini, Francesco, Bologna, Sandro, Vittorini, Valeria

Year:

2011

Language:

english

File:

PDF, 465 KB

english, 2011

7

Towards Model-Driven V&V assessment of railway control systems

Marrone, Stefano, Flammini, Francesco, Mazzocca, Nicola, Nardone, Roberto, Vittorini, Valeria

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2014

Language:

english

File:

PDF, 2.25 MB

english, 2014

8

[IEEE 2010 Electrical Systems for Aircraft, Railway and Ship Propulsion (ESARS) - Bologna, Italy (2010.10.19-2010.10.21)] Electrical Systems for Aircraft, Railway and Ship Propulsion - Towards Wireless Sensor Networks for railway infrastructure monitoring

Flammini, Fran, Gaglione, Andrea, Ottello, Francesco, Pappalardo, Alfio, Pragliola, Concerta, Tedesco, Annarita

Year:

2010

File:

PDF, 202 KB

2010

9

Formal methods for railway control systems

Fantechi, Alessandro, Flammini, Francesco, Gnesi, Stefania

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2014

Language:

english

File:

PDF, 84 KB

english, 2014

10

From traditional manufacturing and automation systems to holonic intelligent systems

Papp, Jozsef, Tokody, Daniel, Flammini, Francesco

Journal:

Procedia Manufacturing

Year:

2018

Language:

english

File:

PDF, 749 KB

english, 2018

11

Synthesis and Characterization of New Bivalent Agents as Melatonin- and Histamine H3-Ligands

Pala, Daniele, Scalvini, Laura, Lodola, Alessio, Mor, Marco, Flammini, Lisa, Barocelli, Elisabetta, Lucini, Valeria, Scaglione, Francesco, Bartolucci, Silvia, Bedini, Annalida, Rivara, Silvia, Spadoni

Journal:

International Journal of Molecular Sciences

Year:

2014

Language:

english

File:

PDF, 1.53 MB

english, 2014

12

On the development of intelligent railway information and safety systems: an overview of current research

Tokody, Dániel, Tor, Mária, Szücs, Endre, Flammini, Francesco, Barna Iantovics, Laszlo

Journal:

Interdisciplinary Description of Complex Systems

Year:

2018

Language:

english

File:

PDF, 526 KB

english, 2018

13

Smart-troubleshooting connected devices: Concept, challenges and opportunities

Caporuscio, Mauro, Flammini, Francesco, Khakpour, Narges, Singh, Prasannjeet, Thornadtsson, Johan

Journal:

Future Generation Computer Systems

Year:

2019

File:

PDF, 1.22 MB

2019

14

A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance

Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini

Journal:

Reliability Engineering & System Safety

Year:

2009

Language:

english

File:

PDF, 700 KB

english, 2009

15

Automatic instantiation of abstract tests on specific configurations for large critical control systems

Francesco Flammini, Nicola Mazzocca, Antonio Orazzo

Journal:

Software Testing, Verification and Reliability

Year:

2009

Language:

english

File:

PDF, 1.26 MB

english, 2009

16

Myelitis due to enterovirus in patient on interferon therapy for chronic hepatitis B: Case report

Marina Polidori, Enrico Tagliaferri, Carlo Tascini, Giovanni Andreotti, Sarah Flammini, Francesco Menichetti

Journal:

Clinical Immunology

Year:

2010

Language:

english

File:

PDF, 143 KB

english, 2010

17

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 6894 || Evolutionary Risk Analysis: Expert Judgement

Flammini, Francesco, Bologna, Sandro, Vittorini, Valeria

Year:

2011

Language:

english

File:

PDF, 400 KB

english, 2011

18

[IEEE 2012 Sixth International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing (IMIS) - Palermo, Italy (2012.07.4-2012.07.6)] 2012 Sixth International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing - Freight Train monitoring: A Case-Study for the pSHIELD Project

Casola, Valentina, Esposito, Mariana, Mazzocca, Nicola, Flammini, Francesco

Year:

2012

Language:

english

File:

PDF, 555 KB

english, 2012

19

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 6894 || A Fault-Tolerant, Dynamically Scheduled Pipeline Structure for Chip Multiprocessors

Flammini, Francesco, Bologna, Sandro, Vittorini, Valeria

Year:

2011

Language:

english

File:

PDF, 263 KB

english, 2011

20

Micafungin forCandida AlbicansPacemaker-Associated Endocarditis: A Case Report and Review of the Literature

Carlo Tascini, Maria Grazia Bongiorni, Enrico Tagliaferri, Antonello Di Paolo, Sarah Flammini, Ezio Soldati, Alessandro Leonildi, Andrea Di Cori, Francesco Menichetti

Journal:

Year:

2013

Language:

english

File:

PDF, 236 KB

english, 2013

21

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 6894 || Security Analysis of Smart Grid Data Collection Technologies

Flammini, Francesco, Bologna, Sandro, Vittorini, Valeria

Year:

2011

Language:

english

File:

PDF, 779 KB

english, 2011

22

Master Failure Detection Protocol in Internal Synchronization Environment

Bondavalli, Andrea, Brancati, Francesco, Flammini, Alessandra, Rinaldi, Stefano

Journal:

IEEE Transactions on Instrumentation and Measurement

Year:

2013

Language:

english

File:

PDF, 1.25 MB

english, 2013

23

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 6894 || A Case Study on State-Based Robustness Testing of an Operating System for the Avionic Domain

Flammini, Francesco, Bologna, Sandro, Vittorini, Valeria

Year:

2011

Language:

english

File:

PDF, 290 KB

english, 2011

24

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 6894 || Model-Driven Availability Evaluation of Railway Control Systems

Flammini, Francesco, Bologna, Sandro, Vittorini, Valeria

Year:

2011

Language:

english

File:

PDF, 373 KB

english, 2011

25

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 6894 ||

Flammini, Francesco, Bologna, Sandro, Vittorini, Valeria

Year:

2011

Language:

english

File:

PDF, 11.41 MB

english, 2011

26

SAFECOMP'11 post-conference special issue

Flammini, Francesco, Vittorini, Valeria

Journal:

Reliability Engineering & System Safety

Year:

2013

Language:

english

File:

PDF, 119 KB

english, 2013

27

[Lecture Notes in Computer Science] Formal Methods for Industrial Critical Systems Volume 8718 || Deadlock Avoidance in Train Scheduling: A Model Checking Approach

Lang, Frédéric, Flammini, Francesco

Year:

2014

Language:

english

File:

PDF, 424 KB

english, 2014

28

[IEEE 2009 Third ACM/IEEE International Conference on Distributed Smart Cameras (ICDSC) - Como, Italy (2009.08.30-2009.09.2)] 2009 Third ACM/IEEE International Conference on Distributed Smart Cameras (ICDSC) - Dependable integrated surveillance systems for the physical security of metro railways

Bocchetti, Giovanni, Flammini, Francesco, Pappalardo, Alfio

Year:

2009

Language:

english

File:

PDF, 394 KB

english, 2009

29

Comparison of teicoplanin and vancomycin in vitro activity on clinical isolates of Staphylococcus aureus

Tascini, Carlo, Flammini, Sarah, Leonildi, Alessandro, Ciullo, Ilaria, Tagliaferri, Enrico, Menichetti, Francesco

Journal:

Journal of Chemotherapy

Year:

2012

Language:

english

File:

PDF, 116 KB

english, 2012

30

[IEEE 2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007) - Patras, Greece (2007.09.25-2007.09.28)] 2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007) - Evaluation of timing characteristics of a prototype system based on PROFINET IO RT_Class 3

Ferrari, Paolo, Flammini, Alessandra, Marioli, Daniele, Taroni, Andrea, Venturini, Francesco

Year:

2007

Language:

english

File:

PDF, 303 KB

english, 2007

31

[IEEE 2006 International Conference on Dependability of Computer Systems - Szklarska Poreba (2006.05.25-2006.05.27)] 2006 International Conference on Dependability of Computer Systems - UML Based Reverse Engineering for the Verification of Railway Control Logics

Abbaneo, Chiara, Lazzaro, Armando, Marmo, Pietro, Flammini, Francesco

Year:

2006

Language:

english

File:

PDF, 257 KB

english, 2006

32

[IEEE 2011 8th IEEE International Conference on Advanced Video and Signal Based Surveillance (AVSS) - Klagenfurt, Austria (2011.08.30-2011.09.2)] 2011 8th IEEE International Conference on Advanced Video and Signal Based Surveillance (AVSS) - A robust approach for on-line and off-line threat detection based on event tree similarity analysis

Flammini, Francesco, Pragliola, Concetta, Pappalardo, Alfio, Vittorini, Valeria

Year:

2011

Language:

english

File:

PDF, 397 KB

english, 2011

33

A MULTIFORMALISM MODULAR APPROACH TO ERTMS/ETCS FAILURE MODELING

FLAMMINI, FRANCESCO, MARRONE, STEFANO, IACONO, MAURO, MAZZOCCA, NICOLA, VITTORINI, VALERIA

Journal:

International Journal of Reliability Quality and Safety Engineering

Year:

2014

Language:

english

File:

PDF, 861 KB

english, 2014

34

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 6894 || An Integrated Approach for Availability and QoS Evaluation in Railway Systems

Flammini, Francesco, Bologna, Sandro, Vittorini, Valeria

Year:

2011

Language:

english

File:

PDF, 294 KB

english, 2011

35

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 6894 || Using a Software Safety Argument Pattern Catalogue: Two Case Studies

Flammini, Francesco, Bologna, Sandro, Vittorini, Valeria

Year:

2011

Language:

english

File:

PDF, 239 KB

english, 2011

36

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 6894 || On the Adoption of Model Checking in Safety-Related Software Industry

Flammini, Francesco, Bologna, Sandro, Vittorini, Valeria

Year:

2011

Language:

english

File:

PDF, 178 KB

english, 2011

37

On synergies of cyber and physical security modelling in vulnerability assessment of railway systems

Marrone, Stefano, Rodríguez, Ricardo J., Nardone, Roberto, Flammini, Francesco, Vittorini, Valeria

Journal:

Computers & Electrical Engineering

Year:

2015

Language:

english

File:

PDF, 998 KB

english, 2015

38

Using Bayesian Networks to evaluate the trustworthiness of ‘2 out of 3’ decision fusion mechanisms in multi-sensor applications

Flammini, Francesco, Marrone, Stefano, Mazzocca, Nicola, Nardone, Roberto, Vittorini, Valeria

Journal:

IFAC-PapersOnLine

Year:

2015

Language:

english

File:

PDF, 882 KB

english, 2015

39

Susceptibility of Streptococcus pneumoniae clinical isolates to quinolones

Tascini, Carlo, Leonildi, Alessandro, Ciullo, Ilaria, Flammini, Sarah, Tagliaferri, Enrico, Menichetti, Francesco

Journal:

Journal of Chemotherapy

Year:

2012

Language:

english

File:

PDF, 66 KB

english, 2012

40

Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS'2014)

Lang, Frédéric, Flammini, Francesco

Journal:

Science of Computer Programming

Year:

2016

Language:

english

File:

PDF, 131 KB

english, 2016

41

On the use of models for the dependability and security of transit systems and infrastructures: a multi-year industrial experience report

Flammini, Francesco

Journal:

International Journal of Critical Computer-Based Systems

Year:

2012

Language:

english

File:

PDF, 647 KB

english, 2012

42

Optimisation of security system design by quantitative risk assessment and genetic algorithms

Flammini, Francesco, Gaglione, Andrea, Mazzocca, Nicola, Pragliola, Concetta

Journal:

International Journal of Risk Assessment and Management

Year:

2011

Language:

english

File:

PDF, 445 KB

english, 2011

43

[IEEE IECON 2016 - 42nd Annual Conference of the IEEE Industrial Electronics Society - Florence, Italy (2016.10.23-2016.10.26)] IECON 2016 - 42nd Annual Conference of the IEEE Industrial Electronics Society - An application of IEEE 802.11ac to Smart Grid automation based on IEC 61850

Rinaldi, Stefano, Ferrari, Paolo, Flammini, Alessandra, Gringoli, Francesco, Loda, Matteo, Ali, Nahla

Year:

2016

Language:

english

File:

PDF, 1.21 MB

english, 2016

44

Model-Based Approaches for Railway Safety, Reliability and Security: The Experience of Ansaldo STS

Flammini, Francesco

Journal:

IFAC Proceedings Volumes

Year:

2009

Language:

english

File:

PDF, 303 KB

english, 2009

45

Smart Systems for the Protection of Individuals

Tokody, Daniel, Flammini, Francesco

Journal:

Key Engineering Materials

Year:

2017

Language:

english

File:

PDF, 574 KB

english, 2017

46

Technical Committee Reports: The Future of Homeland Security

Flammini, Francesco

Journal:

IEEE Systems, Man, and Cybernetics Magazine

Year:

2016

Language:

english

File:

PDF, 1.92 MB

english, 2016

47

[Advanced Sciences and Technologies for Security Applications] Resilience of Cyber-Physical Systems (From Risk Modelling to Threat Counteraction) ||

Flammini, Francesco

Year:

2019

File:

PDF, 6.63 MB

2019

48

Targeting the Eph/Ephrin System as Anti-Inflammatory Strategy in IBD

Grandi, Andrea, Zini, Irene, Palese, Simone, Giorgio, Carmine, Tognolini, Massimiliano, Marchesani, Francesco, Bruno, Stefano, Flammini, Lisa, Cantoni, Anna Maria, Castelli, Riccardo, Lodola, Alessio,

Journal:

Frontiers in Pharmacology

Year:

2019

Language:

english

File:

PDF, 2.88 MB

english, 2019

49

Targeting the Eph/Ephrin System as Anti-Inflammatory Strategy in IBD

Grandi, Andrea, Zini, Irene, Palese, Simone, Giorgio, Carmine, Tognolini, Massimiliano, Marchesani, Francesco, Bruno, Stefano, Flammini, Lisa, Cantoni, Anna Maria, Castelli, Riccardo, Lodola, Alessio,

Journal:

Frontiers in Pharmacology

Year:

2019

File:

PDF, 2.88 MB

2019

50

[IEEE 2018 IEEE International Conference on Electrical Systems for Aircraft, Railway, Ship Propulsion and Road Vehicles & International Transportation Electrification Conference (ESARS-ITEC) - Nottingham (2018.11.7-2018.11.9)] 2018 IEEE International Conference on Electrical Systems for Aircraft, Railway, Ship Propulsion and Road Vehicles & International Transportation Electrification Conference (ESARS-ITEC) - Towards Railway Virtual Coupling

Flammini, Francesco, Marrone, Stefano, Nardone, Roberto, Petrillo, Alberto, Santini, Stefania, Vittorini, Valeria

Year:

2018

Language:

english

File:

PDF, 870 KB

english, 2018